Invalid-polarity.agda:4,18-18
Invalid-polarity.agda:4,18: Not a valid polarity: ⚄
#-}<ERROR>

...
